Convert The Propositional Logic First-Order Logic Into Cnf Conjunctive Normal Form By Mahesh Huddar